On Negation in Shinran
نویسندگان
چکیده
منابع مشابه
On Negation As Instantiation
Given a logic program P and a goal G, we introduce a notion which states when an SLD-tree for P fGg instantiates a set of variables V with respect to another one, W. We call this notion weak instantiation, as it is a generalisation of the instantiation property introduced by Di Pierro, Martelli and Palamidessi. A negation rule based on instanti-ation, the so-called Negation As Instantiation rul...
متن کاملMore on Empirical Negation
Intuitionism can be seen as a verificationism restricted to mathematical discourse. An attempt to generalize intuitionism to empirical discourse presents various challenges. One of those concerns the logical and semantical behavior of what has been called ‘empirical negation’. An extension of intuitionistic logic with empirical negation was given by Michael De and a labelled tableaux system was...
متن کاملNegation Without Negation in Probabilistic Logic Programming
Probabilistic logic programs without negation can have cycles (with a preference for false), but cannot represent all conditional distributions. Probabilistic logic programs with negation can represent arbitrary conditional probabilities, but with cycles they create logical inconsistencies. We show how allowing negative noise probabilities allows us to represent arbitrary conditional probabilit...
متن کاملRecognizing Complex Negation on Twitter
After the Great East Japan Earthquake in 2011, an abundance of false rumors were disseminated on Twitter that actually hindered rescue activities. This work presents a method for recognizing the negation of predicates on Twitter to find Japanese tweets that refute false rumors. We assume that the predicate “occur” is negated in the sentence “The guy who tweeted that a nuclear explosion occurred...
متن کاملA Remark on Negation in Dependence Logic
We show that for any pair φ and ψ of contradictory formulas of dependence logic there is a formula θ of the same logic such that φ ≡ θ and ψ ≡ ¬θ. This generalizes a result of J. Burgess [2].
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: JOURNAL OF INDIAN AND BUDDHIST STUDIES (INDOGAKU BUKKYOGAKU KENKYU)
سال: 1984
ISSN: 1884-0051,0019-4344
DOI: 10.4259/ibk.32.791